@$i$: $A$($j$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $j$ = $i$ then $A$ else  fi